presheaf of Abelian groups

См. также в других словарях:

• Čech cohomology — In mathematics, specifically algebraic topology, Čech cohomology is a cohomology theory based on the intersection properties of open covers of a topological space. It is named for the mathematician Eduard Čech. Contents 1 Motivation 2… …   Wikipedia

• Sheaf (mathematics) — This article is about sheaves on topological spaces. For sheaves on a site see Grothendieck topology and Topos. In mathematics, a sheaf is a tool for systematically tracking locally defined data attached to the open sets of a topological space.… …   Wikipedia

• Étale cohomology — In mathematics, the étale cohomology groups of an algebraic variety or scheme are algebraic analogues of the usual cohomology groups with finite coefficients of a topological space, introduced by Grothendieck in order to prove the Weil… …   Wikipedia

• Functor — For functors as a synonym of function objects in computer programming to pass function pointers along with its state, see function object. For the use of the functor morphism presented here in functional programming see also the fmap function of… …   Wikipedia

• Gluing axiom — In mathematics, the gluing axiom is introduced to define what a sheaf F on a topological space X must satisfy, given that it is a presheaf, which is by definition a contravariant functor : F : O ( X ) rarr; C to a category C which initially one… …   Wikipedia

• Grothendieck topology — In category theory, a branch of mathematics, a Grothendieck topology is a structure on a category C which makes the objects of C act like the open sets of a topological space. A category together with a choice of Grothendieck topology is called a …   Wikipedia

• Constant sheaf — In mathematics, the constant sheaf on a topological space X associated to a set A is a sheaf of sets on X whose stalks are all equal to A. It is denoted by A or AX. The constant presheaf with value A is the presheaf that assigns to each open… …   Wikipedia

• Functor category — In category theory, a branch of mathematics, the functors between two given categories can themselves be turned into a category; the morphisms in this functor category are natural transformations between functors. Functor categories are of… …   Wikipedia

• Germ (mathematics) — In mathematics, the notion of a germ of an object in/on a topological space captures the local properties of the object. In particular, the objects in question are mostly functions (or maps) and subsets. In specific implementations of this idea,… …   Wikipedia

• Initial and terminal objects — Terminal element redirects here. For the project management concept, see work breakdown structure. In category theory, an abstract branch of mathematics, an initial object of a category C is an object I in C such that for every object X in C,… …   Wikipedia

• Stalk (sheaf) — The stalk of a sheaf is a mathematical construction capturing the behaviour of a sheaf around a given point.Motivation and definitionSheaves are defined on open sets, but the underlying topological space X consists of points. It is reasonable to… …   Wikipedia